Method of analytic tableaux - PDFSEARCH.IO - Document Search Engine

Method of analytic tableaux
Results: 40

#	Item
31	Abstract The KE inference system is a tableau method developed by Marco Mondadori which was presented as an improvement, in the computational efficiency sense, over Analytic Tableaux. In the literature, there is no descr Add to Reading List Source URL: www.science-of-medicine.netne.net Language: English - Date: 2013-02-01 20:22:38 Non-classical logic Paraconsistent logic Philosophical logic Method of analytic tableaux Well-formed formula Ordinal number Symbol Curry–Howard correspondence Logic Mathematical logic Automated theorem proving
32	EXPTIME Tableaux for ALC Using Sound Global Caching Rajeev Gor´e1 and Linh Anh Nguyen2 1 The Australian National University Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Automated theorem proving Method of analytic tableaux Graph Directed graph Mathematical logic Graph theory Theoretical computer science Mathematics
33	A Hypertableau Calculus for SHIQ Boris Motik, Rob Shearer, and Ian Horrocks University of Manchester, UK Abstract. We present a novel reasoning calculus for the Description Logic SHIQ. In order to reduce the nondetermini Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Information Knowledge representation Knowledge engineering Information science Non-classical logic Semantic reasoner Description logic Method of analytic tableaux Web Ontology Language Semantic Web Logic Science
34	Comparative Tableaux Alan Prince Rutgers University, New Brunswick Add to Reading List Source URL: roa.rutgers.edu Language: English - Date: 2001-03-16 13:57:45 Optimality theory Phonology Method of analytic tableaux Mathematical optimization Select Operations research SQL keywords Linguistics
35	Actions Speak Louder than Words: Proving Bisimilarity for Context-Free Processes Hans Huttel { [removed] Department of Computer Science Aalborg University Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 10:01:13 Bisimulation Logic in computer science Method of analytic tableaux Equivalence relation Differential equation Process calculus Theoretical computer science Applied mathematics Mathematics
36	Deciding ALBO with Tableau Renate A. Schmidt1 and Dmitry Tishkovsky1 School of Computer Science, The University of Manchester {renate.schmidt,dmitry.tishkovsky}@manchester.ac.uk This paper presents a tableau approach for Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Automated theorem proving Method of analytic tableaux Modal logic Finitary relation Function Calculus Logic Mathematics Mathematical logic
37	May 15, 2007 — To be presented at HyLo’07 (Part of ESSLLI[removed]Deep Inference for Hybrid Logic Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2007-05-15 05:01:27 Philosophical logic Deduction Automated theorem proving Natural deduction Method of analytic tableaux Deduction theorem Kripke semantics Sequent calculus Modal logic Logic Mathematical logic Proof theory
38	A Tableau System for Natural Logic and Natural Reasoning Reinhard Muskens Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2011-04-24 14:07:30 Semantics Formal languages Computational linguistics Metalogic Algebraic logic Method of analytic tableaux Categorial grammar Simply typed lambda calculus Lambda calculus Logic Mathematical logic Mathematics
39	PDF Document Add to Reading List Source URL: www.hermit-reasoner.com Language: English - Date: 2012-02-03 12:06:02 Automated theorem proving Theoretical computer science Rules of inference Formal methods Method of analytic tableaux Lambda calculus Unification Calculus Semantic reasoner Mathematical logic Mathematics Logic
40	PDF Document Add to Reading List Source URL: espace.library.uq.edu.au Modal logic Deontic logic Normal modal logic Method of analytic tableaux Sequent calculus Model theory Mathematical logic Logic Automated theorem proving

UPDATE